2024-10-05 Functional Programming in Lean
6.7. Summaryから
Haskell モナド
Applicative
opaque
opaque: 簡約できない名前を宣言 - Lean by Example
universe polymorphism(宇宙多相)
7. Monad Transformers
Monad Transformer
で色々なモナドを作れる？
7.1. Combining IO and Reader
partial
partial: 再帰の停止証明をしない - Lean by Example
Applicative
doListはList.forAに似ている
#ログ・記録・メモ